useful relations